کارمندان و کارگرانی که در زمان کار کردنشان براساس قراردادی اجباری ماهانه مبلغی را به بیمه پرداخت می‌­کنند و دولت یا کار فرما نیز مبالغی را به بیمه می­‌پردازند و پس از بازنشستگی حقوقی را از بیمه دریافت می کنند، آیا حقوق زمان بازنشستگی متعلق خمس است؟